2006

国際会議(査読付)

[1] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design", Proc. of the International Conference on Software Engineering (ICSE2006), Far East Experience Track, pp. 604-607, May 2006.

2005

学術論文誌(査読付)

[1] 崔 銀惠, 河本 貴則, 渡邊 宏, "画面遷移仕様のモデル検査", 日本ソフトウェア科学会コンピュータソフトウェア, 22(3),  pp. 146-153, 2005年7月.

国際会議(査読付)

[1] Eun-Hye Choi and Hiroshi Watanabe, "Model Checking Class Specifications for Web Applications", Proc. of the twelfth Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 67-75, December 2005.

国内会議(査読付)

[1] 古澤 仁, 渡邊 宏, 河本 貴則, 崔 銀惠, "形式的手法の便益性評価のためのデータ収集実験", 第二回システム検証の科学技術シンポジウム予稿集, pp. 196-204, 2005年10月.

[2] 崔 銀惠, 渡邊 宏, "Webアプリケーションのクラス設計仕様に対するモデル化と検証", ソフトウェアテストシンポジウム2005予稿集, 2005年1月.

テクニカルレポート

[1] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design", 算譜科学研究速報, (PS-2005-018), December 2005.